Quantec - Truth Maintenance